"$home"
sudo -u "$sv" wget -c http://nightly.openerp.com/6.0/6.0/openerp-server-6.0.4-20130520-r3663.tar.gz -O /tmp/openerp-server.tar.gz
sudo -u "$sv" tar -xf /tmp/openerp-server.tar.gz -C "$home"
-"$tool"/local/apt-get-install patch
+"$tool"/local/apt-get-install patch fetchmail
sudo -u "$sv" patch -d "$home"/openerp-server-6.0.4/bin/addons/document_webdav/ <<- EOF
diff -Nru document_webdav.old/dav_fs.py document_webdav/dav_fs.py
--- document_webdav.old/dav_fs.py 2012-08-09 01:01:18.000000000 +0200